Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | dc.subject:"CSP (Computer program language)" | 0 - 4


Llistar Títols

S'han trobat 4 ítems

Llistant ítems des de 0 a 4:

  1   
FormatDataTítolAutor
FormatDataTítolAutor
out url icon Recercat Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2012 Solving constraint satisfaction problems with SAT modulo theories Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
out url icon Recercat Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 1 gener 2013 Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories Ansótegui, Carlos ; Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
  1   

Matèries


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Autors


Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32


Warning: fopen(/dades/dugi/cache/24c0bbb918d1c41f92e71b1fa37be815_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2

Warning: Unknown: write failed: No space left on device (28) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0